TipoTítulo Autor EdiciónDisponibilidadValoración
coverllll
Libro
Handbook on ontologies: Staab, Steffen 2nd ed.   (c2009)
Domicilio

----------
coverllll
Libro
Leveraging Applications of Formal Methods, Verification and Validation. : Technologies for Mastering Change, Part 1 Margaria, Tiziana 1st. ed.   (2012)
Domicilio

----------